- 双语例句 更多例句
1、
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
2、
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。
互联网摘选
3、
而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。
互联网摘选
4、
Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法，但该方法仅保持函数的部分正确性，而可能失去某些值上的终止性。
互联网摘选
5、
实验结果表明，经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置，证明了本文的故障检测算法的正确性。
互联网摘选
- 相关词组
- political correctnessn.政治正确性;
- partial journey部分行程;
- partial ordering部分顺序;
- partial exactness部分正确
- partial correlation偏[净，部分]相关;
- partial confounding部分混区;
- partial antigen不完全抗原;
- Partial Mission Capable可执行部分任务
- program correctness程序正确性;
- partial birth不全产;
- partial cultivation局部垦植;
- partial albinism局部白化病，白痣;
- correctness factor校正系数;
- partial agglutinin[医] 副凝集素;
- partial remission部分缓解;
- partial amnesia部分性遗忘;
- partial bulkhead局部舱壁;
- partial conjugation局部接合;
- 今日热词
- 热门搜索
- handshake n.握手;
- gogo n.祖母;外婆;(称呼有礼貌、有爱心的老年女士)老婆婆，大娘网络摇摆舞，赌博性投资;
- 中国人 名 Chinese;Chinaman;Chinee;
- marriage n.婚姻;结婚;婚姻生活;
- witchery n.巫术，魅力;
- clean adj.干净的;无污染的;清白的;清新的;公平的;完全的;简洁的;v.清洗，打扫;
- may the force be with you 愿原力与你同在;愿力量与你同在
- Brandeis n.布兰德斯;路易斯·德莫比茨((1856-1941) 美国法官;曾任美国最高法院陪审法官(1916-1939年)。他反对垄断;护卫个人权利;网络布兰迪斯；布兰戴斯；布兰德斯
- by chance 偶然地，意外地;无意之中;碰巧;偏巧;
- favorite n.特别喜爱的人（或物）；受宠的人；得到偏爱的人; (国王的)宠臣；亲信，心腹; (尤指马)最有希望获胜者;adj.最喜爱的;特别喜爱的;
- October n. 十月;
- bedclothes n.寝具，铺盖;
